compound
\\[0ex]Linorder($T$;$x$,$y$.$R$($x$;$y$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Order($T$;$x$,$y$.$R$($x$;$y$)) \& Connex($T$;$x$,$y$.$R$($x$;$y$))